Counting Mal'tsev Clones on Small Sets

Idziak (Int. J. Algebra Comput. 9 (1999) 213) has shown that there are only 14 Mal'tsev polynomial clones on a 3 element set and constructed infinitely many such clones on a 4 element set. Here we improve this result by showing that there are, in fact, only countably many Mal'tsev polynomial clones on a 4 element set. A description of all such clones is included. © 2003 Elsevier Science B.V. All rights reserved

On the reduction of the CSP dichotomy conjecture to digraphs

It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy conjecture is equivalent to its restriction to digraphs and that the polynomial reduction can be made in logspace. We also show that our reduction preserves the bounded width property, i.e., solvability by local consistency methods. We discuss further algorithmic properties that are preserved and related open problems.Comment: 34 pages. Article is to appear in CP2013. This version includes two appendices with proofs of claims omitted from the main articl

On Backdoors to Tractable Constraint Languages

International audienceIn the context of CSPs, a strong backdoor is a subset of variables such that every complete assignment yields a residual instance guaranteed to have a specified property. If the property allows efficient solving, then a small strong backdoor provides a reasonable decomposition of the original instance into easy instances. An important challenge is the design of algorithms that can find quickly a small strong backdoor if one exists. We present a systematic study of the parameterized complexity of backdoor detection when the target property is a restricted type of constraint language defined by means of a family of polymor-phisms. In particular, we show that under the weak assumption that the polymorphisms are idempotent, the problem is unlikely to be FPT when the parameter is either r (the constraint arity) or k (the size of the backdoor) unless P = NP or FPT = W[2]. When the parameter is k + r, however, we are able to identify large classes of languages for which the problem of finding a small backdoor is FPT

The STAR MAPS-based PiXeL detector

The PiXeL detector (PXL) for the Heavy Flavor Tracker (HFT) of the STAR experiment at RHIC is the first application of the state-of-the-art thin Monolithic Active Pixel Sensors (MAPS) technology in a collider environment. Custom built pixel sensors, their readout electronics and the detector mechanical structure are described in detail. Selected detector design aspects and production steps are presented. The detector operations during the three years of data taking (2014-2016) and the overall performance exceeding the design specifications are discussed in the conclusive sections of this paper

Shear Alignment and Instability of Smectic Phases

We consider the shear flow of well-aligned one-component smectic phases, such as thermotropic smectics and lamellar diblock copolymers, below the critical region. We show that, as a result of thermal fluctuations of the layers, parallel ($c$) alignment is generically unstable and perpendicular ($a$) alignment is stable against long-wavelength undulations. We also find, surprisingly, that both $a$ and $c$ are stable for a narrow window of values for the anisotropic viscosity.Comment: To appear in PRL. Revtex, 1 figure

Shear instabilities of freely standing thermotropic smectic-A films

In this Letter we discuss theoretically the instabilities of thermotropic freely standing smectic-A films under shear flow\cite{re:wu}. We show that, in Couette geometry, the centrifugal force pushes the liquid crystal toward the outer boundary and induces smectic layer dilation close to the outer boundary. Under strong shear, this effect induces a layer buckling instability. The critical shear rate is proportional to $1/\sqrt{d}$, where $d$ is the thickness of the film.Comment: 12 pages, 2 figure

Tractability in Constraint Satisfaction Problems: A Survey

International audienceEven though the Constraint Satisfaction Problem (CSP) is NP-complete, many tractable classes of CSP instances have been identified. After discussing different forms and uses of tractability, we describe some landmark tractable classes and survey recent theoretical results. Although we concentrate on the classical CSP, we also cover its important extensions to infinite domains and optimisation, as well as #CSP and QCSP

Fecal pancreatic elastase-1 levels in older individuals without known gastrointestinal diseases or diabetes mellitus

Background - Structural changes occur in the pancreas as a part of the natural aging process. With aging, also the incidence of maldigestive symptoms and malnutrition increases, raising the possibility that these might be caused at least in part by inadequate pancreatic enzyme secretion due to degenerative processes and damage of the gland. Fecal elastase-1 is a good marker of pancreatic exocrine secretion. The aim of this study was to investigate the fecal elastase-1 levels among over 60 years old Finnish and Polish healthy individuals without any special diet, known gastrointestinal disease, surgery or diabetes mellitus. Methods - A total of 159 patients participated in this cross-sectional study. 106 older individuals (aged 60-92 years) were recruited from outpatient clinics and elderly homes. They were divided to three age groups: 60-69 years old (n = 31); 70-79 years old (n = 38) and over 80 years old (n = 37). 53 young subjects (20-28 years old) were investigated as controls. Inclusion criteria were age over 60 years, normal status and competence. Exclusion criteria were any special diet, diabetes mellitus, any known gastrointestinal disease or prior gastrointestinal surgery. Fecal elastase-1 concentration was measured from stool samples with an ELISA that uses two monoclonal antibodies against different epitopes of human elastase-1. Results - Fecal elastase-1 concentrations correlated negatively with age (Pearson r = -0,3531, P < 0.001) and were significantly lower among subjects over 70 years old compared to controls (controls vs. 70-79 years old and controls vs. over 80 years old, both P < 0.001). Among the over 60 years old subjects, the fecal elastase-1 concentrations were below the cut off level of 200 μg/g in 23 of 106 (21.7%) individuals [mean 112 (86-138) μg/g] indicating pancreatic exocrine insufficiency. Of those, 9 subjects had fecal elastase-1 level below 100 μg/g as a marker of severe pancreatic insufficiency. Conclusion - In our study one fifth of healthy older individuals without any gastrointestinal disorder, surgery or diabetes mellitus suffer from pancreatic exocrine insufficiency and might benefit from enzyme supplementation therapy.peerReviewe

DNA methylation patterns of Brachypodium distachyon chromosomes and their alteration by 5-azacytidine treatment

Sequential immunolocalisation of 5-methylcytosine (5-MeC) and fluorescence in situ hybridisation with chromosome-specific BAC clones were performed on Brachypodium distachyon mitotic metaphase chromosomes to determine specific DNA methylation patterns of each chromosome in the complement. In the majority of cells examined, chromosomes Bd4 and Bd5, which bear the loci of 5S and 35S ribosomal DNA, respectively, had characteristic 5-MeC patterns. In contrast, the distribution of 5-MeC along the metacentric chromosome pairs Bd1, Bd2 and Bd3 was more variable. There were numerous differences in distribution of methylated sites between homologous chromosomes as well as between chromosome arms. Some chromosome sites, such as pericentromeric regions, were highly methylated in all chromosomes. Additionally, the influence of a hypomethylating agent, 5-azacytidine, on B. distachyon chromosome methylation patterns was confirmed. It was found that some chromosome pairs underwent demethylation more easily than others, but there was no apparent regularity in demethylation of particular chromosome segments